Nonelementary integral

In mathematics, a nonelementary antiderivative is an antiderivative for which it can be shown that there exists no formula in terms of elementary functions (i.e. involving polynomials, and the standard functions sin, cos, exp, and so on). A theorem by Liouville in 1835 provided the first proof that nonelementary antiderivatives exist.[1] This theorem also provides a basis for determining (with difficulty) which expressions are integrable. It can be shown that, if one is given a function of any complexity, the probability that it will have an elementary antiderivative are very low.

Some examples of such functions are:

The evaluation of nonelementary antiderivatives can often be done using Taylor series. This is because Taylor series can always be integrated as one would an ordinary polynomial, even if there is no elementary antiderivative of the function that generated the Taylor series.

However, in some cases it is not possible to rely on Taylor series. For example, if the function is not infinitely differentiable, one cannot generate a Taylor series. Even if a Taylor series can be generated, there is a good possibility that it will diverge and not represent the function one is attempting to antidifferentiate. Many functions which are infinitely differentiable have higher order derivatives that are unmanageable by hand. In these cases, it is not possible to evaluate indefinite integrals, but definite integrals can be evaluated numerically, for instance by Simpson's rule. There are yet other cases where definite integrals can be evaluated exactly without numerical methods, but indefinite integrals cannot, for lack of an elementary antiderivative.

The integrals for many of these functions can be written down if one allows so-called "special" (nonelementary) functions. For example, the first example's integral is expressible using incomplete elliptic integrals of the first kind, the second and third use the logarithmic integral, the fourth the exponential integral, and the fifth the error function. Still, there exist functions, such as x^x and \sin(\sin(x)) for which no notation currently exists to describe their integrals (other than the use of the integrals themselves).

See also

References

  1. ^ Dunham, William (2005). The Calculus Gallery. Princeton. p. 119. ISBN 978-0-691-13626-4.